Revert changes included by mistake in previous commit.

diff --git a/src/xdisp.c b/src/xdisp.c
index a64a6b2e854de3b8e702b91f7ea815f3fe939a38..1f8b35a1d3af361e0a952fbdb8699362b7c0895f 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -12539,7 +12539,7 @@ try_scrolling (window, just_this_one_p, scroll_conservatively,
            {
              double float_amount = XFLOATINT (aggressive) * height;
              amount_to_scroll = float_amount;
-             if (amount_to_scroll == 0 && float_amount >= 0)
+             if (amount_to_scroll == 0 && float_amount > 0)
                amount_to_scroll = 1;
            }
        }
@@ -12602,7 +12602,7 @@ try_scrolling (window, just_this_one_p, scroll_conservatively,
                {
                  double float_amount = XFLOATINT (aggressive) * height;
                  amount_to_scroll = float_amount;
-                 if (amount_to_scroll == 0 && float_amount >= 0)
+                 if (amount_to_scroll == 0 && float_amount > 0)
                    amount_to_scroll = 1;
                }
            }